home *** CD-ROM | disk | FTP | other *** search
Makefile | 1996-07-03 | 1.7 KB | 74 lines | [TEXT/R*ch] |
- # Unix Makefile for Moscow ML
- # Based on the corresponding Caml Light file (copyright INRIA, 1993)
-
- # To build the Moscow ML system on a new machine for the first time,
- # (1) edit MOSMLHOME etc. in file Makefile.inc
- # (2) execute `make world'
-
- # To install it, execute `make install'
-
- include Makefile.inc
-
- # Build the entire system for the first time
-
- world:
- cd config; sh autoconf gcc
- cd runtime; make all
- cp runtime/camlrunm .
- cd mosmlyac; make all
- cd mosmllib; make all
- cd compiler; make all
- cd toolssrc; make all
- cd lex; make all
- cd launch; make all
-
- uptodate:
- cd runtime; make all
- cp runtime/camlrunm .
- cd mosmlyac; make all
- cd mosmllib; make all
- cd compiler; make all
- cd toolssrc; make all
- cd lex; make all
- cd launch; make all
-
- # Recompile all Mosml code from scratch
- again:
- cd mosmllib; make clean all
- cd compiler; make clean all
- cd toolssrc; make clean all
- cd lex; make clean all
-
- # Install the Mosml system
- install:
- mkdir -p $(BINDIR)
- mkdir -p $(LIBDIR)
- mkdir -p $(TOOLDIR)
- cd runtime; make install BINDIR=$(BINDIR)
- cd launch; make all install
- cd mosmlyac; make install BINDIR=$(BINDIR)
- cd mosmllib; make install
- cd compiler; make install
- cd toolssrc; make install
- cd lex; make install
-
- # Remove all generated files
- clean:
- cd config; make clean
- cd runtime; make clean
- cd launch; make clean
- cd mosmlyac; make clean
- cd mosmllib; make clean
- cd compiler; make clean
- cd toolssrc; make clean
- cd lex; make clean
- rm -f camlrunm
-
- # Rebuild the dependencies in all Makefiles.
- # You can't do this unless you have a compiled runtime system.
- depend:
- cd mosmllib; make depend
- cd mosmlyac; make all
- cd compiler; make depend
- cd lex; make depend
-